# Clauses for the ontology:
family-ontology(X):-person(X).
person(X):-female(X).
person(X):-male(X).
family-ontology(X):-uncle-problem(X).
float(X):-float-interval(X).
family-ontology(X):-uncle-solution(X).
any(X):-family-ontology(X).

# Clauses for the constants:
uncle-solution(is-not-uncle).
boolean(true).
boolean(false).
uncle-solution(is-uncle).

# Clauses for case e28
# description named angela
uncle-problem(e28-0).
description(e28-0,e28-11).
solution(e28-0,is-not-uncle).
male(e28-2).
father(e28-2,e28-9).
mother(e28-2,e28-4).
sister(e28-2,e28-3).
niece(e28-2,e28-5).
nephew(e28-2,e28-12).
wife(e28-2,e28-8).
female(e28-3).
father(e28-3,e28-9).
mother(e28-3,e28-4).
brother(e28-3,e28-2).
son(e28-3,e28-12).
daughter(e28-3,e28-5).
husband(e28-3,e28-10).
female(e28-4).
son(e28-4,e28-2).
daughter(e28-4,e28-3).
husband(e28-4,e28-9).
female(e28-5).
father(e28-5,e28-10).
mother(e28-5,e28-3).
brother(e28-5,e28-12).
grandfather(e28-5,e28-9).
grandfather(e28-5,e28-6).
grandmother(e28-5,e28-4).
grandmother(e28-5,e28-13).
uncle(e28-5,e28-2).
uncle(e28-5,e28-7).
aunt(e28-5,e28-11).
aunt(e28-5,e28-8).
male(e28-6).
son(e28-6,e28-10).
daughter(e28-6,e28-11).
wife(e28-6,e28-13).
male(e28-7).
niece(e28-7,e28-5).
nephew(e28-7,e28-12).
wife(e28-7,e28-11).
female(e28-8).
niece(e28-8,e28-5).
nephew(e28-8,e28-12).
husband(e28-8,e28-2).
male(e28-9).
son(e28-9,e28-2).
daughter(e28-9,e28-3).
wife(e28-9,e28-4).
male(e28-10).
father(e28-10,e28-6).
mother(e28-10,e28-13).
sister(e28-10,e28-11).
son(e28-10,e28-12).
daughter(e28-10,e28-5).
wife(e28-10,e28-3).
female(e28-11).
father(e28-11,e28-6).
mother(e28-11,e28-13).
brother(e28-11,e28-10).
niece(e28-11,e28-5).
nephew(e28-11,e28-12).
husband(e28-11,e28-7).
male(e28-12).
father(e28-12,e28-10).
mother(e28-12,e28-3).
sister(e28-12,e28-5).
grandfather(e28-12,e28-9).
grandfather(e28-12,e28-6).
grandmother(e28-12,e28-4).
grandmother(e28-12,e28-13).
uncle(e28-12,e28-2).
uncle(e28-12,e28-7).
aunt(e28-12,e28-11).
aunt(e28-12,e28-8).
female(e28-13).
son(e28-13,e28-10).
daughter(e28-13,e28-11).
husband(e28-13,e28-6).

# Clauses for case e9
# description named charles
uncle-problem(e9-0).
description(e9-0,e9-12).
solution(e9-0,is-uncle).
male(e9-1).
father(e9-1,e9-10).
mother(e9-1,e9-8).
sister(e9-1,e9-5).
wife(e9-1,e9-3).
female(e9-2).
son(e9-2,e9-7).
daughter(e9-2,e9-6).
husband(e9-2,e9-9).
female(e9-3).
husband(e9-3,e9-1).
female(e9-4).
father(e9-4,e9-7).
mother(e9-4,e9-5).
brother(e9-4,e9-11).
female(e9-5).
father(e9-5,e9-10).
mother(e9-5,e9-8).
brother(e9-5,e9-1).
son(e9-5,e9-11).
daughter(e9-5,e9-4).
husband(e9-5,e9-7).
female(e9-6).
father(e9-6,e9-9).
mother(e9-6,e9-2).
brother(e9-6,e9-7).
husband(e9-6,e9-12).
male(e9-7).
father(e9-7,e9-9).
mother(e9-7,e9-2).
sister(e9-7,e9-6).
son(e9-7,e9-11).
daughter(e9-7,e9-4).
wife(e9-7,e9-5).
female(e9-8).
son(e9-8,e9-1).
daughter(e9-8,e9-5).
husband(e9-8,e9-10).
male(e9-9).
son(e9-9,e9-7).
daughter(e9-9,e9-6).
wife(e9-9,e9-2).
male(e9-10).
son(e9-10,e9-1).
daughter(e9-10,e9-5).
wife(e9-10,e9-8).
male(e9-11).
father(e9-11,e9-7).
mother(e9-11,e9-5).
sister(e9-11,e9-4).
male(e9-12).
wife(e9-12,e9-6).

# Clauses for case e4
# description named victoria
uncle-problem(e4-0).
description(e4-0,e4-4).
solution(e4-0,is-not-uncle).
male(e4-2).
father(e4-2,e4-10).
mother(e4-2,e4-9).
sister(e4-2,e4-4).
wife(e4-2,e4-6).
female(e4-3).
son(e4-3,e4-8).
daughter(e4-3,e4-7).
husband(e4-3,e4-11).
female(e4-4).
father(e4-4,e4-10).
mother(e4-4,e4-9).
brother(e4-4,e4-2).
son(e4-4,e4-12).
daughter(e4-4,e4-5).
husband(e4-4,e4-8).
female(e4-5).
father(e4-5,e4-8).
mother(e4-5,e4-4).
brother(e4-5,e4-12).
female(e4-6).
husband(e4-6,e4-2).
female(e4-7).
father(e4-7,e4-11).
mother(e4-7,e4-3).
brother(e4-7,e4-8).
husband(e4-7,e4-13).
male(e4-8).
father(e4-8,e4-11).
mother(e4-8,e4-3).
sister(e4-8,e4-7).
son(e4-8,e4-12).
daughter(e4-8,e4-5).
wife(e4-8,e4-4).
female(e4-9).
son(e4-9,e4-2).
daughter(e4-9,e4-4).
husband(e4-9,e4-10).
male(e4-10).
son(e4-10,e4-2).
daughter(e4-10,e4-4).
wife(e4-10,e4-9).
male(e4-11).
son(e4-11,e4-8).
daughter(e4-11,e4-7).
wife(e4-11,e4-3).
male(e4-12).
father(e4-12,e4-8).
mother(e4-12,e4-4).
sister(e4-12,e4-5).
male(e4-13).
wife(e4-13,e4-7).

# Clauses for case e27
# description named francesca
uncle-problem(e27-0).
description(e27-0,e27-13).
solution(e27-0,is-not-uncle).
male(e27-2).
father(e27-2,e27-9).
mother(e27-2,e27-4).
sister(e27-2,e27-3).
niece(e27-2,e27-5).
nephew(e27-2,e27-12).
wife(e27-2,e27-8).
female(e27-3).
father(e27-3,e27-9).
mother(e27-3,e27-4).
brother(e27-3,e27-2).
son(e27-3,e27-12).
daughter(e27-3,e27-5).
husband(e27-3,e27-10).
female(e27-4).
son(e27-4,e27-2).
daughter(e27-4,e27-3).
husband(e27-4,e27-9).
female(e27-5).
father(e27-5,e27-10).
mother(e27-5,e27-3).
brother(e27-5,e27-12).
grandfather(e27-5,e27-9).
grandfather(e27-5,e27-6).
grandmother(e27-5,e27-4).
grandmother(e27-5,e27-13).
uncle(e27-5,e27-2).
uncle(e27-5,e27-7).
aunt(e27-5,e27-11).
aunt(e27-5,e27-8).
male(e27-6).
son(e27-6,e27-10).
daughter(e27-6,e27-11).
wife(e27-6,e27-13).
male(e27-7).
niece(e27-7,e27-5).
nephew(e27-7,e27-12).
wife(e27-7,e27-11).
female(e27-8).
niece(e27-8,e27-5).
nephew(e27-8,e27-12).
husband(e27-8,e27-2).
male(e27-9).
son(e27-9,e27-2).
daughter(e27-9,e27-3).
wife(e27-9,e27-4).
male(e27-10).
father(e27-10,e27-6).
mother(e27-10,e27-13).
sister(e27-10,e27-11).
son(e27-10,e27-12).
daughter(e27-10,e27-5).
wife(e27-10,e27-3).
female(e27-11).
father(e27-11,e27-6).
mother(e27-11,e27-13).
brother(e27-11,e27-10).
niece(e27-11,e27-5).
nephew(e27-11,e27-12).
husband(e27-11,e27-7).
male(e27-12).
father(e27-12,e27-10).
mother(e27-12,e27-3).
sister(e27-12,e27-5).
grandfather(e27-12,e27-9).
grandfather(e27-12,e27-6).
grandmother(e27-12,e27-4).
grandmother(e27-12,e27-13).
uncle(e27-12,e27-2).
uncle(e27-12,e27-7).
aunt(e27-12,e27-11).
aunt(e27-12,e27-8).
female(e27-13).
son(e27-13,e27-10).
daughter(e27-13,e27-11).
husband(e27-13,e27-6).

# Clauses for case e23
# description named emilio
uncle-problem(e23-0).
description(e23-0,e23-1).
solution(e23-0,is-uncle).
male(e23-1).
father(e23-1,e23-8).
mother(e23-1,e23-3).
sister(e23-1,e23-2).
niece(e23-1,e23-4).
nephew(e23-1,e23-11).
wife(e23-1,e23-7).
female(e23-2).
father(e23-2,e23-8).
mother(e23-2,e23-3).
brother(e23-2,e23-1).
son(e23-2,e23-11).
daughter(e23-2,e23-4).
husband(e23-2,e23-9).
female(e23-3).
son(e23-3,e23-1).
daughter(e23-3,e23-2).
husband(e23-3,e23-8).
female(e23-4).
father(e23-4,e23-9).
mother(e23-4,e23-2).
brother(e23-4,e23-11).
grandfather(e23-4,e23-8).
grandfather(e23-4,e23-5).
grandmother(e23-4,e23-3).
grandmother(e23-4,e23-13).
uncle(e23-4,e23-1).
uncle(e23-4,e23-6).
aunt(e23-4,e23-10).
aunt(e23-4,e23-7).
male(e23-5).
son(e23-5,e23-9).
daughter(e23-5,e23-10).
wife(e23-5,e23-13).
male(e23-6).
niece(e23-6,e23-4).
nephew(e23-6,e23-11).
wife(e23-6,e23-10).
female(e23-7).
niece(e23-7,e23-4).
nephew(e23-7,e23-11).
husband(e23-7,e23-1).
male(e23-8).
son(e23-8,e23-1).
daughter(e23-8,e23-2).
wife(e23-8,e23-3).
male(e23-9).
father(e23-9,e23-5).
mother(e23-9,e23-13).
sister(e23-9,e23-10).
son(e23-9,e23-11).
daughter(e23-9,e23-4).
wife(e23-9,e23-2).
female(e23-10).
father(e23-10,e23-5).
mother(e23-10,e23-13).
brother(e23-10,e23-9).
niece(e23-10,e23-4).
nephew(e23-10,e23-11).
husband(e23-10,e23-6).
male(e23-11).
father(e23-11,e23-9).
mother(e23-11,e23-2).
sister(e23-11,e23-4).
grandfather(e23-11,e23-8).
grandfather(e23-11,e23-5).
grandmother(e23-11,e23-3).
grandmother(e23-11,e23-13).
uncle(e23-11,e23-1).
uncle(e23-11,e23-6).
aunt(e23-11,e23-10).
aunt(e23-11,e23-7).
female(e23-13).
son(e23-13,e23-9).
daughter(e23-13,e23-10).
husband(e23-13,e23-5).

# Clauses for case e24
# description named lucia
uncle-problem(e24-0).
description(e24-0,e24-3).
solution(e24-0,is-not-uncle).
male(e24-2).
father(e24-2,e24-9).
mother(e24-2,e24-4).
sister(e24-2,e24-3).
niece(e24-2,e24-5).
nephew(e24-2,e24-12).
wife(e24-2,e24-8).
female(e24-3).
father(e24-3,e24-9).
mother(e24-3,e24-4).
brother(e24-3,e24-2).
son(e24-3,e24-12).
daughter(e24-3,e24-5).
husband(e24-3,e24-10).
female(e24-4).
son(e24-4,e24-2).
daughter(e24-4,e24-3).
husband(e24-4,e24-9).
female(e24-5).
father(e24-5,e24-10).
mother(e24-5,e24-3).
brother(e24-5,e24-12).
grandfather(e24-5,e24-9).
grandfather(e24-5,e24-7).
grandmother(e24-5,e24-4).
grandmother(e24-5,e24-13).
uncle(e24-5,e24-2).
uncle(e24-5,e24-6).
aunt(e24-5,e24-11).
aunt(e24-5,e24-8).
male(e24-6).
niece(e24-6,e24-5).
nephew(e24-6,e24-12).
wife(e24-6,e24-11).
male(e24-7).
son(e24-7,e24-10).
daughter(e24-7,e24-11).
wife(e24-7,e24-13).
female(e24-8).
niece(e24-8,e24-5).
nephew(e24-8,e24-12).
husband(e24-8,e24-2).
male(e24-9).
son(e24-9,e24-2).
daughter(e24-9,e24-3).
wife(e24-9,e24-4).
male(e24-10).
father(e24-10,e24-7).
mother(e24-10,e24-13).
sister(e24-10,e24-11).
son(e24-10,e24-12).
daughter(e24-10,e24-5).
wife(e24-10,e24-3).
female(e24-11).
father(e24-11,e24-7).
mother(e24-11,e24-13).
brother(e24-11,e24-10).
niece(e24-11,e24-5).
nephew(e24-11,e24-12).
husband(e24-11,e24-6).
male(e24-12).
father(e24-12,e24-10).
mother(e24-12,e24-3).
sister(e24-12,e24-5).
grandfather(e24-12,e24-9).
grandfather(e24-12,e24-7).
grandmother(e24-12,e24-4).
grandmother(e24-12,e24-13).
uncle(e24-12,e24-2).
uncle(e24-12,e24-6).
aunt(e24-12,e24-11).
aunt(e24-12,e24-8).
female(e24-13).
son(e24-13,e24-10).
daughter(e24-13,e24-11).
husband(e24-13,e24-7).

# Clauses for case e1
# description named christopher
uncle-problem(e1-0).
description(e1-0,e1-10).
solution(e1-0,is-not-uncle).
male(e1-2).
father(e1-2,e1-10).
mother(e1-2,e1-9).
sister(e1-2,e1-4).
wife(e1-2,e1-5).
female(e1-3).
son(e1-3,e1-8).
daughter(e1-3,e1-7).
husband(e1-3,e1-11).
female(e1-4).
father(e1-4,e1-10).
mother(e1-4,e1-9).
brother(e1-4,e1-2).
son(e1-4,e1-12).
daughter(e1-4,e1-6).
husband(e1-4,e1-8).
female(e1-5).
husband(e1-5,e1-2).
female(e1-6).
father(e1-6,e1-8).
mother(e1-6,e1-4).
brother(e1-6,e1-12).
female(e1-7).
father(e1-7,e1-11).
mother(e1-7,e1-3).
brother(e1-7,e1-8).
husband(e1-7,e1-13).
male(e1-8).
father(e1-8,e1-11).
mother(e1-8,e1-3).
sister(e1-8,e1-7).
son(e1-8,e1-12).
daughter(e1-8,e1-6).
wife(e1-8,e1-4).
female(e1-9).
son(e1-9,e1-2).
daughter(e1-9,e1-4).
husband(e1-9,e1-10).
male(e1-10).
son(e1-10,e1-2).
daughter(e1-10,e1-4).
wife(e1-10,e1-9).
male(e1-11).
son(e1-11,e1-8).
daughter(e1-11,e1-7).
wife(e1-11,e1-3).
male(e1-12).
father(e1-12,e1-8).
mother(e1-12,e1-4).
sister(e1-12,e1-6).
male(e1-13).
wife(e1-13,e1-7).

# Clauses for case e22
# description named maria
uncle-problem(e22-0).
description(e22-0,e22-3).
solution(e22-0,is-not-uncle).
male(e22-2).
father(e22-2,e22-9).
mother(e22-2,e22-3).
sister(e22-2,e22-4).
niece(e22-2,e22-5).
nephew(e22-2,e22-12).
wife(e22-2,e22-8).
female(e22-3).
son(e22-3,e22-2).
daughter(e22-3,e22-4).
husband(e22-3,e22-9).
female(e22-4).
father(e22-4,e22-9).
mother(e22-4,e22-3).
brother(e22-4,e22-2).
son(e22-4,e22-12).
daughter(e22-4,e22-5).
husband(e22-4,e22-10).
female(e22-5).
father(e22-5,e22-10).
mother(e22-5,e22-4).
brother(e22-5,e22-12).
grandfather(e22-5,e22-9).
grandfather(e22-5,e22-7).
grandmother(e22-5,e22-3).
grandmother(e22-5,e22-13).
uncle(e22-5,e22-2).
uncle(e22-5,e22-6).
aunt(e22-5,e22-11).
aunt(e22-5,e22-8).
male(e22-6).
niece(e22-6,e22-5).
nephew(e22-6,e22-12).
wife(e22-6,e22-11).
male(e22-7).
son(e22-7,e22-10).
daughter(e22-7,e22-11).
wife(e22-7,e22-13).
female(e22-8).
niece(e22-8,e22-5).
nephew(e22-8,e22-12).
husband(e22-8,e22-2).
male(e22-9).
son(e22-9,e22-2).
daughter(e22-9,e22-4).
wife(e22-9,e22-3).
male(e22-10).
father(e22-10,e22-7).
mother(e22-10,e22-13).
sister(e22-10,e22-11).
son(e22-10,e22-12).
daughter(e22-10,e22-5).
wife(e22-10,e22-4).
female(e22-11).
father(e22-11,e22-7).
mother(e22-11,e22-13).
brother(e22-11,e22-10).
niece(e22-11,e22-5).
nephew(e22-11,e22-12).
husband(e22-11,e22-6).
male(e22-12).
father(e22-12,e22-10).
mother(e22-12,e22-4).
sister(e22-12,e22-5).
grandfather(e22-12,e22-9).
grandfather(e22-12,e22-7).
grandmother(e22-12,e22-3).
grandmother(e22-12,e22-13).
uncle(e22-12,e22-2).
uncle(e22-12,e22-6).
aunt(e22-12,e22-11).
aunt(e22-12,e22-8).
female(e22-13).
son(e22-13,e22-10).
daughter(e22-13,e22-11).
husband(e22-13,e22-7).

# Clauses for case e8
# description named jennifer
uncle-problem(e8-0).
description(e8-0,e8-7).
solution(e8-0,is-not-uncle).
male(e8-2).
father(e8-2,e8-11).
mother(e8-2,e8-9).
sister(e8-2,e8-6).
wife(e8-2,e8-4).
female(e8-3).
son(e8-3,e8-8).
daughter(e8-3,e8-7).
husband(e8-3,e8-10).
female(e8-4).
husband(e8-4,e8-2).
female(e8-5).
father(e8-5,e8-8).
mother(e8-5,e8-6).
brother(e8-5,e8-12).
female(e8-6).
father(e8-6,e8-11).
mother(e8-6,e8-9).
brother(e8-6,e8-2).
son(e8-6,e8-12).
daughter(e8-6,e8-5).
husband(e8-6,e8-8).
female(e8-7).
father(e8-7,e8-10).
mother(e8-7,e8-3).
brother(e8-7,e8-8).
husband(e8-7,e8-13).
male(e8-8).
father(e8-8,e8-10).
mother(e8-8,e8-3).
sister(e8-8,e8-7).
son(e8-8,e8-12).
daughter(e8-8,e8-5).
wife(e8-8,e8-6).
female(e8-9).
son(e8-9,e8-2).
daughter(e8-9,e8-6).
husband(e8-9,e8-11).
male(e8-10).
son(e8-10,e8-8).
daughter(e8-10,e8-7).
wife(e8-10,e8-3).
male(e8-11).
son(e8-11,e8-2).
daughter(e8-11,e8-6).
wife(e8-11,e8-9).
male(e8-12).
father(e8-12,e8-8).
mother(e8-12,e8-6).
sister(e8-12,e8-5).
male(e8-13).
wife(e8-13,e8-7).

# Clauses for case e12
# description named margaret
uncle-problem(e12-0).
description(e12-0,e12-4).
solution(e12-0,is-not-uncle).
male(e12-2).
father(e12-2,e12-10).
mother(e12-2,e12-9).
sister(e12-2,e12-5).
wife(e12-2,e12-4).
female(e12-3).
son(e12-3,e12-8).
daughter(e12-3,e12-7).
husband(e12-3,e12-11).
female(e12-4).
husband(e12-4,e12-2).
female(e12-5).
father(e12-5,e12-10).
mother(e12-5,e12-9).
brother(e12-5,e12-2).
son(e12-5,e12-12).
daughter(e12-5,e12-6).
husband(e12-5,e12-8).
female(e12-6).
father(e12-6,e12-8).
mother(e12-6,e12-5).
brother(e12-6,e12-12).
female(e12-7).
father(e12-7,e12-11).
mother(e12-7,e12-3).
brother(e12-7,e12-8).
husband(e12-7,e12-13).
male(e12-8).
father(e12-8,e12-11).
mother(e12-8,e12-3).
sister(e12-8,e12-7).
son(e12-8,e12-12).
daughter(e12-8,e12-6).
wife(e12-8,e12-5).
female(e12-9).
son(e12-9,e12-2).
daughter(e12-9,e12-5).
husband(e12-9,e12-10).
male(e12-10).
son(e12-10,e12-2).
daughter(e12-10,e12-5).
wife(e12-10,e12-9).
male(e12-11).
son(e12-11,e12-8).
daughter(e12-11,e12-7).
wife(e12-11,e12-3).
male(e12-12).
father(e12-12,e12-8).
mother(e12-12,e12-5).
sister(e12-12,e12-6).
male(e12-13).
wife(e12-13,e12-7).

# Clauses for case e212
# description named gina
uncle-problem(e212-0).
description(e212-0,e212-8).
solution(e212-0,is-not-uncle).
male(e212-2).
father(e212-2,e212-9).
mother(e212-2,e212-4).
sister(e212-2,e212-3).
niece(e212-2,e212-5).
nephew(e212-2,e212-12).
wife(e212-2,e212-8).
female(e212-3).
father(e212-3,e212-9).
mother(e212-3,e212-4).
brother(e212-3,e212-2).
son(e212-3,e212-12).
daughter(e212-3,e212-5).
husband(e212-3,e212-10).
female(e212-4).
son(e212-4,e212-2).
daughter(e212-4,e212-3).
husband(e212-4,e212-9).
female(e212-5).
father(e212-5,e212-10).
mother(e212-5,e212-3).
brother(e212-5,e212-12).
grandfather(e212-5,e212-9).
grandfather(e212-5,e212-6).
grandmother(e212-5,e212-4).
grandmother(e212-5,e212-13).
uncle(e212-5,e212-2).
uncle(e212-5,e212-7).
aunt(e212-5,e212-11).
aunt(e212-5,e212-8).
male(e212-6).
son(e212-6,e212-10).
daughter(e212-6,e212-11).
wife(e212-6,e212-13).
male(e212-7).
niece(e212-7,e212-5).
nephew(e212-7,e212-12).
wife(e212-7,e212-11).
female(e212-8).
niece(e212-8,e212-5).
nephew(e212-8,e212-12).
husband(e212-8,e212-2).
male(e212-9).
son(e212-9,e212-2).
daughter(e212-9,e212-3).
wife(e212-9,e212-4).
male(e212-10).
father(e212-10,e212-6).
mother(e212-10,e212-13).
sister(e212-10,e212-11).
son(e212-10,e212-12).
daughter(e212-10,e212-5).
wife(e212-10,e212-3).
female(e212-11).
father(e212-11,e212-6).
mother(e212-11,e212-13).
brother(e212-11,e212-10).
niece(e212-11,e212-5).
nephew(e212-11,e212-12).
husband(e212-11,e212-7).
male(e212-12).
father(e212-12,e212-10).
mother(e212-12,e212-3).
sister(e212-12,e212-5).
grandfather(e212-12,e212-9).
grandfather(e212-12,e212-6).
grandmother(e212-12,e212-4).
grandmother(e212-12,e212-13).
uncle(e212-12,e212-2).
uncle(e212-12,e212-7).
aunt(e212-12,e212-11).
aunt(e212-12,e212-8).
female(e212-13).
son(e212-13,e212-10).
daughter(e212-13,e212-11).
husband(e212-13,e212-6).

# Clauses for case e29
# description named tomaso
uncle-problem(e29-0).
description(e29-0,e29-5).
solution(e29-0,is-uncle).
male(e29-1).
father(e29-1,e29-8).
mother(e29-1,e29-3).
sister(e29-1,e29-2).
niece(e29-1,e29-4).
nephew(e29-1,e29-11).
wife(e29-1,e29-7).
female(e29-2).
father(e29-2,e29-8).
mother(e29-2,e29-3).
brother(e29-2,e29-1).
son(e29-2,e29-11).
daughter(e29-2,e29-4).
husband(e29-2,e29-9).
female(e29-3).
son(e29-3,e29-1).
daughter(e29-3,e29-2).
husband(e29-3,e29-8).
female(e29-4).
father(e29-4,e29-9).
mother(e29-4,e29-2).
brother(e29-4,e29-11).
grandfather(e29-4,e29-8).
grandfather(e29-4,e29-6).
grandmother(e29-4,e29-3).
grandmother(e29-4,e29-13).
uncle(e29-4,e29-1).
uncle(e29-4,e29-5).
aunt(e29-4,e29-10).
aunt(e29-4,e29-7).
male(e29-5).
niece(e29-5,e29-4).
nephew(e29-5,e29-11).
wife(e29-5,e29-10).
male(e29-6).
son(e29-6,e29-9).
daughter(e29-6,e29-10).
wife(e29-6,e29-13).
female(e29-7).
niece(e29-7,e29-4).
nephew(e29-7,e29-11).
husband(e29-7,e29-1).
male(e29-8).
son(e29-8,e29-1).
daughter(e29-8,e29-2).
wife(e29-8,e29-3).
male(e29-9).
father(e29-9,e29-6).
mother(e29-9,e29-13).
sister(e29-9,e29-10).
son(e29-9,e29-11).
daughter(e29-9,e29-4).
wife(e29-9,e29-2).
female(e29-10).
father(e29-10,e29-6).
mother(e29-10,e29-13).
brother(e29-10,e29-9).
niece(e29-10,e29-4).
nephew(e29-10,e29-11).
husband(e29-10,e29-5).
male(e29-11).
father(e29-11,e29-9).
mother(e29-11,e29-2).
sister(e29-11,e29-4).
grandfather(e29-11,e29-8).
grandfather(e29-11,e29-6).
grandmother(e29-11,e29-3).
grandmother(e29-11,e29-13).
uncle(e29-11,e29-1).
uncle(e29-11,e29-5).
aunt(e29-11,e29-10).
aunt(e29-11,e29-7).
female(e29-13).
son(e29-13,e29-9).
daughter(e29-13,e29-10).
husband(e29-13,e29-6).

# Clauses for case e3
# description named arthur
uncle-problem(e3-0).
description(e3-0,e3-1).
solution(e3-0,is-uncle).
male(e3-1).
father(e3-1,e3-9).
mother(e3-1,e3-8).
sister(e3-1,e3-3).
wife(e3-1,e3-4).
female(e3-2).
son(e3-2,e3-7).
daughter(e3-2,e3-6).
husband(e3-2,e3-10).
female(e3-3).
father(e3-3,e3-9).
mother(e3-3,e3-8).
brother(e3-3,e3-1).
son(e3-3,e3-11).
daughter(e3-3,e3-5).
husband(e3-3,e3-7).
female(e3-4).
husband(e3-4,e3-1).
female(e3-5).
father(e3-5,e3-7).
mother(e3-5,e3-3).
brother(e3-5,e3-11).
female(e3-6).
father(e3-6,e3-10).
mother(e3-6,e3-2).
brother(e3-6,e3-7).
husband(e3-6,e3-12).
male(e3-7).
father(e3-7,e3-10).
mother(e3-7,e3-2).
sister(e3-7,e3-6).
son(e3-7,e3-11).
daughter(e3-7,e3-5).
wife(e3-7,e3-3).
female(e3-8).
son(e3-8,e3-1).
daughter(e3-8,e3-3).
husband(e3-8,e3-9).
male(e3-9).
son(e3-9,e3-1).
daughter(e3-9,e3-3).
wife(e3-9,e3-8).
male(e3-10).
son(e3-10,e3-7).
daughter(e3-10,e3-6).
wife(e3-10,e3-2).
male(e3-11).
father(e3-11,e3-7).
mother(e3-11,e3-3).
sister(e3-11,e3-5).
male(e3-12).
wife(e3-12,e3-6).

# Clauses for case e21
# description named roberto
uncle-problem(e21-0).
description(e21-0,e21-9).
solution(e21-0,is-not-uncle).
male(e21-2).
father(e21-2,e21-9).
mother(e21-2,e21-4).
sister(e21-2,e21-3).
niece(e21-2,e21-5).
nephew(e21-2,e21-12).
wife(e21-2,e21-8).
female(e21-3).
father(e21-3,e21-9).
mother(e21-3,e21-4).
brother(e21-3,e21-2).
son(e21-3,e21-12).
daughter(e21-3,e21-5).
husband(e21-3,e21-10).
female(e21-4).
son(e21-4,e21-2).
daughter(e21-4,e21-3).
husband(e21-4,e21-9).
female(e21-5).
father(e21-5,e21-10).
mother(e21-5,e21-3).
brother(e21-5,e21-12).
grandfather(e21-5,e21-9).
grandfather(e21-5,e21-7).
grandmother(e21-5,e21-4).
grandmother(e21-5,e21-13).
uncle(e21-5,e21-2).
uncle(e21-5,e21-6).
aunt(e21-5,e21-11).
aunt(e21-5,e21-8).
male(e21-6).
niece(e21-6,e21-5).
nephew(e21-6,e21-12).
wife(e21-6,e21-11).
male(e21-7).
son(e21-7,e21-10).
daughter(e21-7,e21-11).
wife(e21-7,e21-13).
female(e21-8).
niece(e21-8,e21-5).
nephew(e21-8,e21-12).
husband(e21-8,e21-2).
male(e21-9).
son(e21-9,e21-2).
daughter(e21-9,e21-3).
wife(e21-9,e21-4).
male(e21-10).
father(e21-10,e21-7).
mother(e21-10,e21-13).
sister(e21-10,e21-11).
son(e21-10,e21-12).
daughter(e21-10,e21-5).
wife(e21-10,e21-3).
female(e21-11).
father(e21-11,e21-7).
mother(e21-11,e21-13).
brother(e21-11,e21-10).
niece(e21-11,e21-5).
nephew(e21-11,e21-12).
husband(e21-11,e21-6).
male(e21-12).
father(e21-12,e21-10).
mother(e21-12,e21-3).
sister(e21-12,e21-5).
grandfather(e21-12,e21-9).
grandfather(e21-12,e21-7).
grandmother(e21-12,e21-4).
grandmother(e21-12,e21-13).
uncle(e21-12,e21-2).
uncle(e21-12,e21-6).
aunt(e21-12,e21-11).
aunt(e21-12,e21-8).
female(e21-13).
son(e21-13,e21-10).
daughter(e21-13,e21-11).
husband(e21-13,e21-7).

# Clauses for case e10
# description named colin
uncle-problem(e10-0).
description(e10-0,e10-12).
solution(e10-0,is-not-uncle).
male(e10-2).
father(e10-2,e10-11).
mother(e10-2,e10-9).
sister(e10-2,e10-6).
wife(e10-2,e10-4).
female(e10-3).
son(e10-3,e10-8).
daughter(e10-3,e10-7).
husband(e10-3,e10-10).
female(e10-4).
husband(e10-4,e10-2).
female(e10-5).
father(e10-5,e10-8).
mother(e10-5,e10-6).
brother(e10-5,e10-12).
female(e10-6).
father(e10-6,e10-11).
mother(e10-6,e10-9).
brother(e10-6,e10-2).
son(e10-6,e10-12).
daughter(e10-6,e10-5).
husband(e10-6,e10-8).
female(e10-7).
father(e10-7,e10-10).
mother(e10-7,e10-3).
brother(e10-7,e10-8).
husband(e10-7,e10-13).
male(e10-8).
father(e10-8,e10-10).
mother(e10-8,e10-3).
sister(e10-8,e10-7).
son(e10-8,e10-12).
daughter(e10-8,e10-5).
wife(e10-8,e10-6).
female(e10-9).
son(e10-9,e10-2).
daughter(e10-9,e10-6).
husband(e10-9,e10-11).
male(e10-10).
son(e10-10,e10-8).
daughter(e10-10,e10-7).
wife(e10-10,e10-3).
male(e10-11).
son(e10-11,e10-2).
daughter(e10-11,e10-6).
wife(e10-11,e10-9).
male(e10-12).
father(e10-12,e10-8).
mother(e10-12,e10-6).
sister(e10-12,e10-5).
male(e10-13).
wife(e10-13,e10-7).

# Clauses for case e25
# description named marco
uncle-problem(e25-0).
description(e25-0,e25-10).
solution(e25-0,is-not-uncle).
male(e25-2).
father(e25-2,e25-9).
mother(e25-2,e25-4).
sister(e25-2,e25-3).
niece(e25-2,e25-5).
nephew(e25-2,e25-12).
wife(e25-2,e25-8).
female(e25-3).
father(e25-3,e25-9).
mother(e25-3,e25-4).
brother(e25-3,e25-2).
son(e25-3,e25-12).
daughter(e25-3,e25-5).
husband(e25-3,e25-10).
female(e25-4).
son(e25-4,e25-2).
daughter(e25-4,e25-3).
husband(e25-4,e25-9).
female(e25-5).
father(e25-5,e25-10).
mother(e25-5,e25-3).
brother(e25-5,e25-12).
grandfather(e25-5,e25-9).
grandfather(e25-5,e25-6).
grandmother(e25-5,e25-4).
grandmother(e25-5,e25-13).
uncle(e25-5,e25-2).
uncle(e25-5,e25-7).
aunt(e25-5,e25-11).
aunt(e25-5,e25-8).
male(e25-6).
son(e25-6,e25-10).
daughter(e25-6,e25-11).
wife(e25-6,e25-13).
male(e25-7).
niece(e25-7,e25-5).
nephew(e25-7,e25-12).
wife(e25-7,e25-11).
female(e25-8).
niece(e25-8,e25-5).
nephew(e25-8,e25-12).
husband(e25-8,e25-2).
male(e25-9).
son(e25-9,e25-2).
daughter(e25-9,e25-3).
wife(e25-9,e25-4).
male(e25-10).
father(e25-10,e25-6).
mother(e25-10,e25-13).
sister(e25-10,e25-11).
son(e25-10,e25-12).
daughter(e25-10,e25-5).
wife(e25-10,e25-3).
female(e25-11).
father(e25-11,e25-6).
mother(e25-11,e25-13).
brother(e25-11,e25-10).
niece(e25-11,e25-5).
nephew(e25-11,e25-12).
husband(e25-11,e25-7).
male(e25-12).
father(e25-12,e25-10).
mother(e25-12,e25-3).
sister(e25-12,e25-5).
grandfather(e25-12,e25-9).
grandfather(e25-12,e25-6).
grandmother(e25-12,e25-4).
grandmother(e25-12,e25-13).
uncle(e25-12,e25-2).
uncle(e25-12,e25-7).
aunt(e25-12,e25-11).
aunt(e25-12,e25-8).
female(e25-13).
son(e25-13,e25-10).
daughter(e25-13,e25-11).
husband(e25-13,e25-6).

# Clauses for case e26
# description named piero
uncle-problem(e26-0).
description(e26-0,e26-6).
solution(e26-0,is-not-uncle).
male(e26-2).
father(e26-2,e26-9).
mother(e26-2,e26-4).
sister(e26-2,e26-3).
niece(e26-2,e26-5).
nephew(e26-2,e26-12).
wife(e26-2,e26-8).
female(e26-3).
father(e26-3,e26-9).
mother(e26-3,e26-4).
brother(e26-3,e26-2).
son(e26-3,e26-12).
daughter(e26-3,e26-5).
husband(e26-3,e26-10).
female(e26-4).
son(e26-4,e26-2).
daughter(e26-4,e26-3).
husband(e26-4,e26-9).
female(e26-5).
father(e26-5,e26-10).
mother(e26-5,e26-3).
brother(e26-5,e26-12).
grandfather(e26-5,e26-9).
grandfather(e26-5,e26-6).
grandmother(e26-5,e26-4).
grandmother(e26-5,e26-13).
uncle(e26-5,e26-2).
uncle(e26-5,e26-7).
aunt(e26-5,e26-11).
aunt(e26-5,e26-8).
male(e26-6).
son(e26-6,e26-10).
daughter(e26-6,e26-11).
wife(e26-6,e26-13).
male(e26-7).
niece(e26-7,e26-5).
nephew(e26-7,e26-12).
wife(e26-7,e26-11).
female(e26-8).
niece(e26-8,e26-5).
nephew(e26-8,e26-12).
husband(e26-8,e26-2).
male(e26-9).
son(e26-9,e26-2).
daughter(e26-9,e26-3).
wife(e26-9,e26-4).
male(e26-10).
father(e26-10,e26-6).
mother(e26-10,e26-13).
sister(e26-10,e26-11).
son(e26-10,e26-12).
daughter(e26-10,e26-5).
wife(e26-10,e26-3).
female(e26-11).
father(e26-11,e26-6).
mother(e26-11,e26-13).
brother(e26-11,e26-10).
niece(e26-11,e26-5).
nephew(e26-11,e26-12).
husband(e26-11,e26-7).
male(e26-12).
father(e26-12,e26-10).
mother(e26-12,e26-3).
sister(e26-12,e26-5).
grandfather(e26-12,e26-9).
grandfather(e26-12,e26-6).
grandmother(e26-12,e26-4).
grandmother(e26-12,e26-13).
uncle(e26-12,e26-2).
uncle(e26-12,e26-7).
aunt(e26-12,e26-11).
aunt(e26-12,e26-8).
female(e26-13).
son(e26-13,e26-10).
daughter(e26-13,e26-11).
husband(e26-13,e26-6).

# Clauses for case e6
# description named andrew
uncle-problem(e6-0).
description(e6-0,e6-10).
solution(e6-0,is-not-uncle).
male(e6-2).
father(e6-2,e6-11).
mother(e6-2,e6-9).
sister(e6-2,e6-6).
wife(e6-2,e6-4).
female(e6-3).
son(e6-3,e6-8).
daughter(e6-3,e6-7).
husband(e6-3,e6-10).
female(e6-4).
husband(e6-4,e6-2).
female(e6-5).
father(e6-5,e6-8).
mother(e6-5,e6-6).
brother(e6-5,e6-12).
female(e6-6).
father(e6-6,e6-11).
mother(e6-6,e6-9).
brother(e6-6,e6-2).
son(e6-6,e6-12).
daughter(e6-6,e6-5).
husband(e6-6,e6-8).
female(e6-7).
father(e6-7,e6-10).
mother(e6-7,e6-3).
brother(e6-7,e6-8).
husband(e6-7,e6-13).
male(e6-8).
father(e6-8,e6-10).
mother(e6-8,e6-3).
sister(e6-8,e6-7).
son(e6-8,e6-12).
daughter(e6-8,e6-5).
wife(e6-8,e6-6).
female(e6-9).
son(e6-9,e6-2).
daughter(e6-9,e6-6).
husband(e6-9,e6-11).
male(e6-10).
son(e6-10,e6-8).
daughter(e6-10,e6-7).
wife(e6-10,e6-3).
male(e6-11).
son(e6-11,e6-2).
daughter(e6-11,e6-6).
wife(e6-11,e6-9).
male(e6-12).
father(e6-12,e6-8).
mother(e6-12,e6-6).
sister(e6-12,e6-5).
male(e6-13).
wife(e6-13,e6-7).

# Clauses for case e210
# description named alfonso
uncle-problem(e210-0).
description(e210-0,e210-12).
solution(e210-0,is-not-uncle).
male(e210-2).
father(e210-2,e210-9).
mother(e210-2,e210-4).
sister(e210-2,e210-3).
niece(e210-2,e210-5).
nephew(e210-2,e210-12).
wife(e210-2,e210-8).
female(e210-3).
father(e210-3,e210-9).
mother(e210-3,e210-4).
brother(e210-3,e210-2).
son(e210-3,e210-12).
daughter(e210-3,e210-5).
husband(e210-3,e210-10).
female(e210-4).
son(e210-4,e210-2).
daughter(e210-4,e210-3).
husband(e210-4,e210-9).
female(e210-5).
father(e210-5,e210-10).
mother(e210-5,e210-3).
brother(e210-5,e210-12).
grandfather(e210-5,e210-9).
grandfather(e210-5,e210-7).
grandmother(e210-5,e210-4).
grandmother(e210-5,e210-13).
uncle(e210-5,e210-2).
uncle(e210-5,e210-6).
aunt(e210-5,e210-11).
aunt(e210-5,e210-8).
male(e210-6).
niece(e210-6,e210-5).
nephew(e210-6,e210-12).
wife(e210-6,e210-11).
male(e210-7).
son(e210-7,e210-10).
daughter(e210-7,e210-11).
wife(e210-7,e210-13).
female(e210-8).
niece(e210-8,e210-5).
nephew(e210-8,e210-12).
husband(e210-8,e210-2).
male(e210-9).
son(e210-9,e210-2).
daughter(e210-9,e210-3).
wife(e210-9,e210-4).
male(e210-10).
father(e210-10,e210-7).
mother(e210-10,e210-13).
sister(e210-10,e210-11).
son(e210-10,e210-12).
daughter(e210-10,e210-5).
wife(e210-10,e210-3).
female(e210-11).
father(e210-11,e210-7).
mother(e210-11,e210-13).
brother(e210-11,e210-10).
niece(e210-11,e210-5).
nephew(e210-11,e210-12).
husband(e210-11,e210-6).
male(e210-12).
father(e210-12,e210-10).
mother(e210-12,e210-3).
sister(e210-12,e210-5).
grandfather(e210-12,e210-9).
grandfather(e210-12,e210-7).
grandmother(e210-12,e210-4).
grandmother(e210-12,e210-13).
uncle(e210-12,e210-2).
uncle(e210-12,e210-6).
aunt(e210-12,e210-11).
aunt(e210-12,e210-8).
female(e210-13).
son(e210-13,e210-10).
daughter(e210-13,e210-11).
husband(e210-13,e210-7).

# Clauses for case e5
# description named james
uncle-problem(e5-0).
description(e5-0,e5-8).
solution(e5-0,is-not-uncle).
male(e5-2).
father(e5-2,e5-11).
mother(e5-2,e5-9).
sister(e5-2,e5-6).
wife(e5-2,e5-4).
female(e5-3).
son(e5-3,e5-8).
daughter(e5-3,e5-7).
husband(e5-3,e5-10).
female(e5-4).
husband(e5-4,e5-2).
female(e5-5).
father(e5-5,e5-8).
mother(e5-5,e5-6).
brother(e5-5,e5-12).
female(e5-6).
father(e5-6,e5-11).
mother(e5-6,e5-9).
brother(e5-6,e5-2).
son(e5-6,e5-12).
daughter(e5-6,e5-5).
husband(e5-6,e5-8).
female(e5-7).
father(e5-7,e5-10).
mother(e5-7,e5-3).
brother(e5-7,e5-8).
husband(e5-7,e5-13).
male(e5-8).
father(e5-8,e5-10).
mother(e5-8,e5-3).
sister(e5-8,e5-7).
son(e5-8,e5-12).
daughter(e5-8,e5-5).
wife(e5-8,e5-6).
female(e5-9).
son(e5-9,e5-2).
daughter(e5-9,e5-6).
husband(e5-9,e5-11).
male(e5-10).
son(e5-10,e5-8).
daughter(e5-10,e5-7).
wife(e5-10,e5-3).
male(e5-11).
son(e5-11,e5-2).
daughter(e5-11,e5-6).
wife(e5-11,e5-9).
male(e5-12).
father(e5-12,e5-8).
mother(e5-12,e5-6).
sister(e5-12,e5-5).
male(e5-13).
wife(e5-13,e5-7).

# Clauses for case e2
# description named penelope
uncle-problem(e2-0).
description(e2-0,e2-9).
solution(e2-0,is-not-uncle).
male(e2-2).
father(e2-2,e2-10).
mother(e2-2,e2-9).
sister(e2-2,e2-4).
wife(e2-2,e2-5).
female(e2-3).
son(e2-3,e2-8).
daughter(e2-3,e2-7).
husband(e2-3,e2-11).
female(e2-4).
father(e2-4,e2-10).
mother(e2-4,e2-9).
brother(e2-4,e2-2).
son(e2-4,e2-12).
daughter(e2-4,e2-6).
husband(e2-4,e2-8).
female(e2-5).
husband(e2-5,e2-2).
female(e2-6).
father(e2-6,e2-8).
mother(e2-6,e2-4).
brother(e2-6,e2-12).
female(e2-7).
father(e2-7,e2-11).
mother(e2-7,e2-3).
brother(e2-7,e2-8).
husband(e2-7,e2-13).
male(e2-8).
father(e2-8,e2-11).
mother(e2-8,e2-3).
sister(e2-8,e2-7).
son(e2-8,e2-12).
daughter(e2-8,e2-6).
wife(e2-8,e2-4).
female(e2-9).
son(e2-9,e2-2).
daughter(e2-9,e2-4).
husband(e2-9,e2-10).
male(e2-10).
son(e2-10,e2-2).
daughter(e2-10,e2-4).
wife(e2-10,e2-9).
male(e2-11).
son(e2-11,e2-8).
daughter(e2-11,e2-7).
wife(e2-11,e2-3).
male(e2-12).
father(e2-12,e2-8).
mother(e2-12,e2-4).
sister(e2-12,e2-6).
male(e2-13).
wife(e2-13,e2-7).

# Clauses for case e211
# description named sophia
uncle-problem(e211-0).
description(e211-0,e211-5).
solution(e211-0,is-not-uncle).
male(e211-2).
father(e211-2,e211-9).
mother(e211-2,e211-4).
sister(e211-2,e211-3).
niece(e211-2,e211-5).
nephew(e211-2,e211-12).
wife(e211-2,e211-8).
female(e211-3).
father(e211-3,e211-9).
mother(e211-3,e211-4).
brother(e211-3,e211-2).
son(e211-3,e211-12).
daughter(e211-3,e211-5).
husband(e211-3,e211-10).
female(e211-4).
son(e211-4,e211-2).
daughter(e211-4,e211-3).
husband(e211-4,e211-9).
female(e211-5).
father(e211-5,e211-10).
mother(e211-5,e211-3).
brother(e211-5,e211-12).
grandfather(e211-5,e211-9).
grandfather(e211-5,e211-7).
grandmother(e211-5,e211-4).
grandmother(e211-5,e211-13).
uncle(e211-5,e211-2).
uncle(e211-5,e211-6).
aunt(e211-5,e211-11).
aunt(e211-5,e211-8).
male(e211-6).
niece(e211-6,e211-5).
nephew(e211-6,e211-12).
wife(e211-6,e211-11).
male(e211-7).
son(e211-7,e211-10).
daughter(e211-7,e211-11).
wife(e211-7,e211-13).
female(e211-8).
niece(e211-8,e211-5).
nephew(e211-8,e211-12).
husband(e211-8,e211-2).
male(e211-9).
son(e211-9,e211-2).
daughter(e211-9,e211-3).
wife(e211-9,e211-4).
male(e211-10).
father(e211-10,e211-7).
mother(e211-10,e211-13).
sister(e211-10,e211-11).
son(e211-10,e211-12).
daughter(e211-10,e211-5).
wife(e211-10,e211-3).
female(e211-11).
father(e211-11,e211-7).
mother(e211-11,e211-13).
brother(e211-11,e211-10).
niece(e211-11,e211-5).
nephew(e211-11,e211-12).
husband(e211-11,e211-6).
male(e211-12).
father(e211-12,e211-10).
mother(e211-12,e211-3).
sister(e211-12,e211-5).
grandfather(e211-12,e211-9).
grandfather(e211-12,e211-7).
grandmother(e211-12,e211-4).
grandmother(e211-12,e211-13).
uncle(e211-12,e211-2).
uncle(e211-12,e211-6).
aunt(e211-12,e211-11).
aunt(e211-12,e211-8).
female(e211-13).
son(e211-13,e211-10).
daughter(e211-13,e211-11).
husband(e211-13,e211-7).

# Clauses for case e11
# description named charlotte
uncle-problem(e11-0).
description(e11-0,e11-5).
solution(e11-0,is-not-uncle).
male(e11-2).
father(e11-2,e11-11).
mother(e11-2,e11-9).
sister(e11-2,e11-6).
wife(e11-2,e11-4).
female(e11-3).
son(e11-3,e11-8).
daughter(e11-3,e11-7).
husband(e11-3,e11-10).
female(e11-4).
husband(e11-4,e11-2).
female(e11-5).
father(e11-5,e11-8).
mother(e11-5,e11-6).
brother(e11-5,e11-12).
female(e11-6).
father(e11-6,e11-11).
mother(e11-6,e11-9).
brother(e11-6,e11-2).
son(e11-6,e11-12).
daughter(e11-6,e11-5).
husband(e11-6,e11-8).
female(e11-7).
father(e11-7,e11-10).
mother(e11-7,e11-3).
brother(e11-7,e11-8).
husband(e11-7,e11-13).
male(e11-8).
father(e11-8,e11-10).
mother(e11-8,e11-3).
sister(e11-8,e11-7).
son(e11-8,e11-12).
daughter(e11-8,e11-5).
wife(e11-8,e11-6).
female(e11-9).
son(e11-9,e11-2).
daughter(e11-9,e11-6).
husband(e11-9,e11-11).
male(e11-10).
son(e11-10,e11-8).
daughter(e11-10,e11-7).
wife(e11-10,e11-3).
male(e11-11).
son(e11-11,e11-2).
daughter(e11-11,e11-6).
wife(e11-11,e11-9).
male(e11-12).
father(e11-12,e11-8).
mother(e11-12,e11-6).
sister(e11-12,e11-5).
male(e11-13).
wife(e11-13,e11-7).

# Clauses for case e7
# description named christine
uncle-problem(e7-0).
description(e7-0,e7-3).
solution(e7-0,is-not-uncle).
male(e7-2).
father(e7-2,e7-11).
mother(e7-2,e7-9).
sister(e7-2,e7-6).
wife(e7-2,e7-4).
female(e7-3).
son(e7-3,e7-8).
daughter(e7-3,e7-7).
husband(e7-3,e7-10).
female(e7-4).
husband(e7-4,e7-2).
female(e7-5).
father(e7-5,e7-8).
mother(e7-5,e7-6).
brother(e7-5,e7-12).
female(e7-6).
father(e7-6,e7-11).
mother(e7-6,e7-9).
brother(e7-6,e7-2).
son(e7-6,e7-12).
daughter(e7-6,e7-5).
husband(e7-6,e7-8).
female(e7-7).
father(e7-7,e7-10).
mother(e7-7,e7-3).
brother(e7-7,e7-8).
husband(e7-7,e7-13).
male(e7-8).
father(e7-8,e7-10).
mother(e7-8,e7-3).
sister(e7-8,e7-7).
son(e7-8,e7-12).
daughter(e7-8,e7-5).
wife(e7-8,e7-6).
female(e7-9).
son(e7-9,e7-2).
daughter(e7-9,e7-6).
husband(e7-9,e7-11).
male(e7-10).
son(e7-10,e7-8).
daughter(e7-10,e7-7).
wife(e7-10,e7-3).
male(e7-11).
son(e7-11,e7-2).
daughter(e7-11,e7-6).
wife(e7-11,e7-9).
male(e7-12).
father(e7-12,e7-8).
mother(e7-12,e7-6).
sister(e7-12,e7-5).
male(e7-13).
wife(e7-13,e7-7).
